/// new_textbox_ninteger()

return new_textbox(true, 10, " - 0123456789")
